Nuprl Definition : ma-decla
11,40
postcript
pdf
a
declared in
M
==
locl(
a
)
dom((
M
.2).1)
latex
clarification:
a
declared in
M
==
fpf-dom(KindDeq; locl(
a
); ((
M
.2).1))
latex
Definitions
b
,
x
dom(
f
)
,
KindDeq
,
locl(
a
)
,
t
.1
,
t
.2
FDL editor aliases
ma-decla
origin
locl(a) 
dom((M.2).1)
fpf-dom(KindDeq; locl(a); ((M.2).1)) locl(a) dom((M.2).1)
fpf-dom(KindDeq; locl(a); ((M.2).1)) b dom(f)